properties of conditional probability